deducción lógica

См. также в других словарях:

• deducción — sustantivo femenino 1. Acción y efecto de deducir, sacar consecuencias de un principio, proposición o supuesto: El detective examinó las pruebas y llegó a la deducción de que se trataba de un suicidio. 2. Descuento de una parte de una cantidad… …   Diccionario Salamanca de la Lengua Española

• Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

• Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

• Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

• Deducción — En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas.[1] En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la… …   Wikipedia Español

• Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

• Deducción — (Del lat. deductio, onis.) ► sustantivo femenino 1 Acción de obtener una idea a partir de otra. SINÓNIMO consecuencia derivación inferencia 2 Acción de separar una parte del todo: ■ deducción de la tara del camión. SINÓNIMO resta 3 …   Enciclopedia Universal

• Lógica relevante — La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928… …   Wikipedia Español

• Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

• Lógica cuántica — En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales… …   Wikipedia Español

• Lógica probabilística — El objetivo de una lógica probabilística (o la lógica de probabilidad) debe combinar la capacidad de teoría de probabilidad para manejar la incertidumbre con la capacidad de lógica deductiva para explotar la estructura. El resultado es un… …   Wikipedia Español